منابع مشابه
Non-perturbative and Flux superpotentials for Type I strings on the Z3 orbifold
Non-perturbative effects are studied for Type I strings on the Z3 orbifold with Chan-Paton symmetry broken by Wilson lines. Generalizing previous analyses that have focussed on (bi)fundamentals, it is argued that (anti)symmetric representations of the resulting gauge group play a decisive role in generating an ADS-like superpotential in this and related cases. Non-perturbative corrections in th...
متن کاملContractible configurations, Z3-connectivity, Z3-flows and triangularly connected graphs
Tutte conjectured that every 4-edge connected graph admits a nowhere-zero Z3-flow and Jaeger, Linial, Payan and Tarsi conjectured that every 5-edge connected graph is Z3-connected. In this paper, we characterize the triangularly connected graphs G that are Γ-connected for any Abelian group Γ with |Γ| ≥ 3. Therefore, these two conjectures are verified for the family of triangularly connected gra...
متن کاملNeutrinos With Z3 Symmetry and New Charged-Lepton Interactions
An approximate Z3 family symmetry is proposed for leptons which results in a neutrino mass matrix with sin 2θatm = 1 and tan 2 θsol = 0.5, but the latter value could easily be smaller. A generic requirement of this approach is the appearance of three Higgs doublets at the electroweak scale, resulting in possibly observable flavor violating leptonic decays, such as μ → eee and μ → eγ. ——————————...
متن کاملDegree condition and Z3-connectivity
Let G be a 2-edge-connected simple graph on n ≥ 3 vertices and A an abelian group with |A| ≥ 3. If a graph G is obtained by repeatedly contracting nontrivial A-connected subgraphs of G until no such a subgraph left, we say G can be A-reduced to G. Let G5 be the graph obtained from K4 by adding a new vertex v and two edges joining v to two distinct vertices of K4. In this paper, we prove that fo...
متن کاملEngineering Theories with Z3
Modern Satisfiability Modulo Theories (SMT) solvers are fundamental to many program analysis, verification, design and testing tools. They are a good fit for the domain of software and hardware engineering because they support many domains that are commonly used by the tools. The meaning of domains are captured by theories that can be axiomatized or supported by efficient theory solvers. Nevert...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics Letters B
سال: 2016
ISSN: 0370-2693
DOI: 10.1016/j.physletb.2016.10.038